ممتنع أن لا يوجد * ليس بمتنع أن لا يوجد ليس بممكن العامي أن لا يوجد * ممكن العامي أن لا يوجد أما طبقة الامتناع : واجب أن لا يوجد * ليس بواجب أن لا يوجد ممتنع أن يوجد * ليس بممتنع أن يوجد ليس بممكن العامي أن يوجد * ممكن العامي أن يوجد أما طبقة الامكان الخاص : ممكن أن يكون * ليس بممكن أن يكون ممكن أن لا يكون * ليس بممكن أن لا يكون ثم اعلم : أن نقيض كل طبقة ، يكون لازما أعم ، لكل واحد من الطبقتين ، المطلقتين الباقيتين . وطبقة الوجوب يلزمها من الإمكان العام : يمكن أن يكون . وطبقة الامتناع يلزمها من الامكان العام : يمكن أن لا يكون . وطبقة لامكان الخاص يلزمها من الإمكان العام : يمكن أن يكون ، ويمكن أن لا يكون . فههنا سؤال : وهو أن الواجب إما أن يكون ممكنا أو لا يكون . فإن كان ممكنا فالممكن أن يكون : ممكن أن لا يكون . فالواجب يمكن أن لا يكون هذا خلف . وإن لم يكن ممكنا ، كان ممتنعا أن يكون . فواجب الوجود ممتنع الوجود . هذا خلف ؟ جوابه : إن الواجب ليس بممكن ، إذا فسر الممكن بالممكن الخاصي ،